Embedded software - PDFSEARCH.IO - Document Search Engine

Embedded software
Results: 3442

#	Item
611	Attacking and Defending Networked Embedded Devices Kwang-Hyun Baek Sergey Bratus Sara Sinclair Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2008-03-13 10:38:09 Cross-platform software National Security Agency Security-Enhanced Linux Mandatory access control TOMOYO Linux Embedded Linux Linux kernel Operating system Linux Security Modules Computer security Computer architecture Software
612	RM-IARARM Reference Manual 750 Naples Street • Add to Reading List Source URL: www.pumpkininc.com Language: English - Date: 2011-09-12 15:58:51 ARM architecture Embedded systems Workbench Microcontroller ARM7 Debian Computer architecture Software Computing
613	A Large-Scale Analysis of the Security of Embedded Firmwares Andrei Costin, Jonas Zaddach, Aur´elien Francillon and Davide Balzarotti EURECOM Sophia Antipolis France {name.surname}@eurecom.fr Add to Reading List Source URL: www.syssec-project.eu Language: English - Date: 2014-09-10 08:46:25 Binary blob Software Computing System software Firmware BIOS
614	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionNovember 2014) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2014-11-14 19:27:33 Embedded Linux Smartphones Java platform Android Type system Apache Ant Java Software Computing Cross-platform software
615	APPLIED IDEAS IGNITION® GAME DESIGN ACADEMY V2 Game Design Solution for Education Description The Ignition Game Design Academy is a comprehensive standardsbased curriculum that teaches the student real-world game engine Add to Reading List Source URL: www.applied-ideas.com Language: English - Date: 2014-01-09 15:01:38 Animation software Video game development Autodesk Application software Autodesk Maya Maya Embedded Language Game engine Ignition Software Graphics software 3D graphics software
616	DMC Institute, Keio UniversityMita, Minato-ku TokyoJapan Notice pursuant to Sectionof the Testing Authorization and Test Suite Licensing Agreement made as of October 1, 2008 by and between Digit Add to Reading List Source URL: dcimovies.com Language: English - Date: 2012-10-12 00:31:58 BIOS System software Electronics Computing Embedded systems Firmware Digital cinema
617	Dataflow analysis for interrupt-driven microcontroller software Nathan Cooprider School of Computing, University of Utah October 12, 2007 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2007-10-12 13:54:24 Electronics Embedded systems Microcontrollers Central processing unit TI MSP430 Dataflow TinyOS NesC Abstract interpretation Computer architecture Computing Interrupts
618	Deploying LTTng on Exotic Embedded Architectures Mathieu Desnoyers École Polytechnique de Montréal Michel R. Dagenais École Polytechnique de Montréal Add to Reading List Source URL: lttng.org Language: English - Date: 2009-04-28 00:51:18 Debuggers Instruction set architectures Beta software LTTng Tracing High Precision Event Timer Linux kernel Embedded system 64-bit Computer architecture Software Computing
619	INtime Real-Time Operating System Helps AVL Deliver ‘The Thrill of Solutions’ Add to Reading List Source URL: www.tenasys.com Language: English - Date: 2012-03-29 23:01:05 Embedded systems TenAsys RMX Computing AVL Virtual machine Kernel Operating system Linux kernel System software Software Real-time operating systems
620	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing